Model checking technology is among the foremost applications of logic to computer science and computer engineering. The model ...
Lire la suiteThis book constitutes the refereed proceedings of the First International Conference of Abstract State Machines, B and Z, ...
Lire la suiteThis book nuds new things to do with an old idea. The proofs-as-programs paradigm constitutes a set of approaches to developing ...
Lire la suiteThis book Covering all current aspects of computer and network security, the papers are organized in topical sections on ...
Lire la suiteThis book Covering all current aspects of computer and network security, the papers are organized in topical sections on ...
Lire la suitePresents a selection of the articles from the Forum on Specification and Design Languages (FDL'04). The Analog and Mixed-Signal ...
Lire la suiteThe explosive growth of application areas such as electronic commerce, ent- prise resource planning and mobile computing ...
Lire la suiteThis book represents the thoroughly refereed post-proceedings of the 6th International Workshop on Agent-Oriented Software ...
Lire la suiteSoftware architectures that contain many dynamically interacting components, each with their own thread of control, and engaging ...
Lire la suiteSoftware architectures that contain many dynamically interacting components, each with their own thread of control, and engaging ...
Lire la suiteThis volume constitutes the thoroughly refereed proceedings of the 8th International Workshop on Agent-Oriented Software ...
Lire la suiteAddressing two basic areas of application for algebras and coalgebras - as mathematical objects as well as in the context ...
Lire la suiteAddressing two basic areas of application for algebras and coalgebras - as mathematical objects as well as in the context ...
Lire la suiteThis book constitutes the refereed proceedings of the Third International Conference on Algebraic Biology, AB 2008, held ...
Lire la suiteIt covers algebraic semantics on graphs and trees, formal power series, syntactic objects, algebraic picture processing, ...
Lire la suiteIt covers algebraic semantics on graphs and trees, formal power series, syntactic objects, algebraic picture processing, ...
Lire la suiteThis is the proceedings of the 11th edition of the Algebraic Methodology and Software Technology (AMAST) conference series. ...
Lire la suiteThis book constitutes the refereed proceedings of the 15th International Conference on Analytical and Stochastic Modeling ...
Lire la suiteThis book constitutes the thoroughly refereed post-proceedings of the International Dagstuhl-Seminar on Architecting Systems ...
Lire la suiteThe two-volume set LNCS 5125 and LNCS 5126 constitutes the refereed proceedings of the 35th International Colloquium on Automata, ...
Lire la suite